How to simplify (u 5v)